1.
Author:
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Particles )Naclear physics(- Congresses,، Phenomonological theory )physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
Classification :
QC
793
H5
1994
2. #<A> course in model theory
Author: #Bruno Poizat , translated by Moses Klein
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Model theory
Classification :
#
QA
،#.
P65
3. A course in model theory /
Author: Katrin Tent, Martin Ziegler
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Model theory,Model theory, Problems, exercises, etc
4. <A> course in model theory:an introduction to contemporary mathematical logic
Author: Bruno Poizat
Library: Vali Asr University Central Library (Kerman)
Subject: Model theory
Classification :
QA
9
.
7
.
P67
2000
5. A course in model theory : an introduction to contemporary mathematical logic
Author: Poizat, Bruno
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
P63
6. A course in model theory: an introduction to contemporary mathematical logic
Author: Poizat, Bruno
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
P65
2000
7. <A> course in model theory:an introduction to contemporary mathematical logic
Author: Bruno Poizat
Library: Vali Asr University Central Library (Kerman)
Subject: Model theory
Classification :
QA
9
.
7
.
P67
2000
8. A disequilibrium model of demand for factors of production
Author: ]by[ M. Ishaq Nadiri and Sherwin Rosen
Library: Library of Faculty of Social Sciences of Tehran University (Tehran)
Subject: United States- Economic conditions- Mathematical model,United States- Economic conditions- 194,Manufacturing industries- United States,Production functions )Economic theory(,Factors of production
Classification :
HC
106
.
5
.
N218
1974
9. A guide to classical and modern model theory
Author: / Annalisa Marcja, Carlo Toffalori
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Model theory
Classification :
QA9
.
7
.
M364
2003
10. A guide to classical and modern model theory
Author: / by Annalisa Marcja, Carlo Toffalori
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: Model theory
Classification :
QA
۹
/
۷
/
م
۲
گ
۲ ۱۳۸۲
11. A guide to classical and modern model theory
Author: / Annalisa Marcja, Carlo Toffalori
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Model theory
Classification :
QA9
.
7
.
M364
2003
12. A shorter model theory
Author: Hodges, Wilfrid, 1491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
H62
13. Accessible categories: the foundations of categorical model theory
Author: Makkai, Michael
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory,، Categories )Mathematics(,، Toposes
Classification :
QA
9
.
7
.
M35
1989
14. Accessible categories : the foundations of categorical model theory
Author: Makkai, Mihaly, 9391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory,، Categories )Mathematics(,، Toposes
Classification :
QA
9
.
7
.
M25
15. Algebraic computability and enumeration models : recursion theory and descriptive complexity
Author: Nourani, Cyrus F.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
Classification :
QA
169
.
N68A4
16. Algebraic systems
Author: )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA
.
M3413
162
17. Algebraic systems
Author: Maltsev, Anatolii Ivanovich
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
162
.
M3513
1973
18. Algebraic systems
Author: Maltsev, Anatolii Ivanovich
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
1
.
G7
v
.
192
19. Algebraic systems
Author: Mal'tsev, Anatolii Ivanovich, 9091-7691
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
162
.
M3413
1973
20. An integrated model of the influence of personal psychological traits and cognitive beliefs on customer satisfaction and continuance intentions in relation to Internet banking usage within the Saudi Arabian context
Author: Alghamdi, Ahmed Dirwish G.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: information systems, expectation confirmation theory, culture, expectation confirmation model of information systems continuance, the unified theory of acceptance and use of technology, technology readiness, technology acceptance models, technology acceptance model, theory of planned behaviour, self-service technologies, business-to-customer Internet banking, the kingdom of Saudi Arabia.
